Reasoning about Mutual-belief among Multiple Cooperative Agents
نویسنده
چکیده
Believing mutually is an important premise to ensure that cooperation among multiple agents goes smoothly. However, mutual belief among agents is always considered for granted. In this paper, we adapt a method based on the position-exchange principle to reason about mutual belief among agents. To reason about mutual belief formally, we first use a process algebra approach, the pi-calculus, to formalize cooperation plans and agents, and then bind the position-exchange principle into the inference rules. By reasoning about mutual belief among agents, we can judge whether cooperation among agents can go on rationally or not.
منابع مشابه
Establishing Trusty Mutual-Belief among Cooperative Agents
Believing mutually is one important premise to ensure that cooperation among multiple agents goes smoothly. However, mutual belief among agents is always considered for granted. In this paper, we adapt a method based on the position-exchange principle (PEP) to reason about mutual belief among agents before cooperation starts. By reasoning about mutual belief among agents, we can judge whether c...
متن کاملBelief Change in Reasoning Agents
The capability of changing beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. Belief change therefore is one of the central research fields in Artificial Intelligence (AI) for over two decades. In the AI literature, two different kinds of belief change operations have been intensively investigated: belief update, which deal with situations where th...
متن کاملA Novel Self-Adaptive Bayesian Belief Network with Information Entropy for Leveraging Decision Consensus among Multi-Agents
Decision making in a semistructured or unstructured problem should consist of a combination of solution procedures, probabilistic reasoning, and human judgments. Such processes mostly involve in evaluating multi-objectives or attributes while making decisions. In addition, they are always complied with the decision makers’ inward probabilistic structure, which will be tedious without the assist...
متن کاملBelief Systems for Conflict Resolution
In a multiagent system, conflicts may arise because of two basic reasons: 1) different agents have contrasting goals; 2) different agents have inconsistent knowledge. This situation can originate when agents are autonomous and strongly motivated by their own interests, and when heterogeneous agents, with different skills, ‘histories’ and beliefs, coexist in a dynamic environment. This paper is ...
متن کاملMutual Beliefs in Conversational Systems: Their Role in Referring Expressions
Shared knowledge and beliefs affect conversational situations in various ways. One aspect in which they play a role is the choice of referring expressions. It is of interest to analyse this role since a natural language system must be able to decide when it can use a particular referring expression; or alternatively what a particular expression refers to. In this paper we attempt to formally ch...
متن کامل